Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
11	A Flexible Datapath Interconnect for Embedded Applications Magnus Sj¨alander, Per Larsson-Edefors, and Magnus Bj¨ork Department of Computer Science and Engineering Chalmers University of Technology, SEG¨otebor Add to Reading List Source URL: www.sjalander.com Language: English - Date: 2012-05-31 04:43:16
12	Implicit flows in malicious and nonmalicious code Alejandro RUSSO a , Andrei SABELFELD a Keqin LI b a Chalmers University of Technology, Sweden b Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-10-12 08:39:47
13	Towards a Taint Mode for Cloud Computing Web Applications Luciano Bello Alejandro Russo Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-04-25 16:17:01
14	Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Information integrity is a vital security property in Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-10-13 07:38:57
15	SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:42:01
16	Practical Way Halting by Speculatively Accessing Halt Tags Daniel Moreau† , Alen Bardizbanyan† , Magnus Själander‡ , David Whalley§ , and Per Larsson-Edefors† † Chalmers University of Technology, Gothenburg, Add to Reading List Source URL: www.sjalander.com Language: English - Date: 2016-01-05 04:38:55
17	New batteries demand new electrolyte concepts?! a Dept. Patrik Johansson a,b of Physics, Chalmers University of Technology, 412 96, Gothenburg, Sweden b Alistore-ERI European Research Institute Add to Reading List Source URL: www.imlb2018.org Language: English - Date: 2018-03-29 22:36:24
18	Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se Add to Reading List Source URL: qapl17.doc.ic.ac.uk - Date: 2017-04-20 09:16:43
19	A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology Add to Reading List Source URL: scheme2016.snow-fort.org - Date: 2016-10-11 08:27:06
20	Indexed Induction-Recursion Peter Dybjer a,? a Department of Computer Science and Engineering, Chalmers University of Technology, G¨ Add to Reading List Source URL: www.cse.chalmers.se - Date: 2010-07-27 05:16:00

UPDATE